Sally -
نویسندگان
چکیده
Peter Whitfield Whitfield is ACNRs Neurosurgery editor. He is a Consultant and Associate Professor in Neurosurgery at the South West Neurosurgery Centre, Plymouth. His clinical interests are wide, including neurovascular conditions, head injury, stereotactic radiosurgery, image guided tumour surgery and lumbar microdiscectomy. He is an examiner for the Royal College of Surgeons of England and the EANS. He is a member of the SAC in Neurosurgery.
منابع مشابه
Verification of Fault-Tolerant Protocols with Sally
Sally is a model checker for infinite-state systems that implements several verification algorithms, including a variant of IC3/PDR called Property-Directed K-induction. We present an application of Sally to automated verification of fault-tolerant distributed algorithms.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011